Subst' ($f$ o $f$\^{}($n$+$m$) {-} 1  ($x$)) $\sim$ ($f$ o $f$\^{}$n$  (do{-}apply($f$\^{}$m$ {-} 1;$x$))) ( 0)$\cdot$